Dictionary Lookup:
Myhill–Nerode theorem
No Pronunciation Data
Chinese definitions:
迈希尔-尼罗德定理 [mài xī ěr ní luō dé dìng lǐ]